package gui.other;

import model.Teoria;

import javax.swing.*;
/*

    This file is part of Logica-Logike.

    Logica-Logike is free software: you can redistribute it and/or modify
    it under the terms of the GNU Lesser General Public License as published by
    the Free Software Foundation version 3 of the License.

    Logica-Logike is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU Lesser General Public License for more details.

    You should have received a copy of the GNU Lesser General Public License
    along with Logica-Logike.  If not, see <http://www.gnu.org/licenses/>.

 */
/**
 * Clase a a no ser usada en la version final, se considera su eliminacion en algun momento;
 *
 * @author Jose Martin Rozanec;
 * @deprecated;
 */
public class TheoryDialog extends JDialog {

    public TheoryDialog() {
        initComp();
    }

    private void initComp() {
        JTabbedPane tabbedPane = new JTabbedPane();
        JScrollPane scrollPane = new JScrollPane();
        JTextArea textArea = new JTextArea();
        textArea.setEditable(false);
//        textArea.setFont(new java.awt.Font("Tahoma", 1, 11));
        textArea.setText(Teoria.getIntroduccion());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Introduccion", scrollPane);

        textArea = new JTextArea();
        scrollPane = new JScrollPane();
        textArea.setEditable(false);
        textArea.setText(Teoria.getOposicion());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Oposicion", scrollPane);

        textArea = new JTextArea();
        scrollPane = new JScrollPane();
        textArea.setEditable(false);
        textArea.setText(Teoria.getConcepto());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Concepto", scrollPane);

        textArea = new JTextArea();
        scrollPane = new JScrollPane();
        textArea.setEditable(false);
        textArea.setText(Teoria.getEnunciacion());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Enunciancion", scrollPane);

        textArea = new JTextArea();
        scrollPane = new JScrollPane();
        textArea.setEditable(false);
        textArea.setText(Teoria.getArgumentacion());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Argumentacion", scrollPane);

        textArea = new JTextArea();
        scrollPane = new JScrollPane();
        textArea.setEditable(false);
        textArea.setText(Teoria.getSilogimoCategorico());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Silogismo Categorico", scrollPane);

        textArea = new JTextArea();
        scrollPane = new JScrollPane();
        textArea.setEditable(false);
        textArea.setText(Teoria.getSilogismoHipotetico());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Silogismo Hipotetico", scrollPane);

        textArea = new JTextArea();
        scrollPane = new JScrollPane();
        textArea.setEditable(false);
        textArea.setText(Teoria.getLogicaMatematicaIntro());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Operadores logicos", scrollPane);

        textArea = new JTextArea();
        scrollPane = new JScrollPane();
        textArea.setEditable(false);
        textArea.setText(Teoria.getTablasVerdad());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Tablas de verdad", scrollPane);

        textArea = new JTextArea();
        scrollPane = new JScrollPane();
        textArea.setEditable(false);
        textArea.setText(Teoria.getReglasDeInferencia());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Reglas de Inferencia", scrollPane);

        textArea = new JTextArea();
        scrollPane = new JScrollPane();
        textArea.setEditable(false);
        textArea.setText(Teoria.getMetalogicidad());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Metalogicidad", scrollPane);

        textArea = new JTextArea();
        scrollPane = new JScrollPane();
        textArea.setEditable(false);
        textArea.setText(Teoria.getLogicaDePredicados());
        scrollPane.setViewportView(textArea);
        tabbedPane.addTab("Logica de predicados", scrollPane);


        setContentPane(tabbedPane);
    }

    public static void main(String[] args) {
        TheoryDialog theoryDialog = new TheoryDialog();
        theoryDialog.setDefaultCloseOperation(JDialog.DISPOSE_ON_CLOSE);
        theoryDialog.setVisible(true);
    }
}
